17.56/18.33	unsat
