13.77/17.53	unsat
