1143.06/1147.71	unsat
