4.88/5.76	unsat
