1063.59/1066.40	unsat
