1064.72/1066.44	unsat
