6.48/8.97	unsat
