14.56/17.03	unsat
