64.99/68.42	unsat
