13.94/18.58	unsat
