62.56/65.54	unsat
