58.69/65.51	unsat
