13.36/18.62	unsat
