1139.11/1142.88	unsat
