13.77/17.73	unsat
