12.19/13.33	unsat
