1.29/1.39	unsat
