17.55/18.26	unsat
