60.18/65.14	unsat
