16.43/18.37	unsat
