5.79/7.63	unsat
