69.09/71.79	unsat
