13.78/18.04	unsat
