1.17/1.39	unsat
