17.87/19.56	unsat
