1012.24/1014.90	unsat
