76.20/104.99	unsat
