17.45/18.12	unsat
