1240.15/1242.61	unsat
