12.13/17.55	unsat
