4.79/7.86	unsat
