6.37/6.49	unsat
