1173.38/1176.67	unsat
