16.81/18.32	unsat
