78.59/81.56	unsat
