1139.95/1142.39	unsat
