19.54/29.15	unsat
