1.48/6.43	unsat
