1068.80/1071.60	unsat
