17.77/18.34	unsat
