17.56/18.56	unsat
