16.56/18.38	unsat
