5.07/6.49	unsat
