1.28/3.76	unsat
