1.29/1.76	unsat
