16.34/18.94	unsat
