13.48/17.86	unsat
