1.26/1.39	unsat
