6.37/10.76	unsat
