15.77/17.18	unsat
