63.71/65.56	unsat
