46.46/47.68	unsat
