15.74/17.39	unsat
