63.78/65.36	unsat
