1063.00/1067.36	unsat
