6.46/8.16	unsat
