1066.56/1068.14	unsat
