16.56/19.29	unsat
