2.88/4.76	unsat
