1.29/1.65	unsat
