16.46/18.32	unsat
