1141.85/1144.65	unsat
