5.02/6.76	unsat
