4.69/8.28	unsat
