13.81/18.80	unsat
