4.98/5.76	unsat
