14.56/17.79	unsat
