5.59/6.43	unsat
