18.26/18.33	unsat
