15.77/17.11	unsat
