5.79/7.84	unsat
