50.17/72.15	unsat
