62.56/65.39	unsat
