5.08/7.76	unsat
