17.77/18.57	unsat
