7.79/11.58	unsat
