1.69/4.01	unsat
