58.32/65.96	unsat
