15.97/18.47	unsat
