1.29/3.76	unsat
