15.77/17.19	unsat
