6.40/8.49	unsat
