60.66/65.38	unsat
