17.56/19.15	unsat
