11.92/17.56	unsat
