3.79/7.29	unsat
