7.79/10.08	unsat
