63.97/67.79	unsat
