17.56/31.07	unsat
