63.90/65.80	unsat
