79.34/81.81	unsat
