1494.95/1500.13	unsat
