1066.79/1068.19	unsat
