14.87/17.15	unsat
