16.46/18.55	unsat
