5.04/6.43	unsat
