11.02/17.56	unsat
