12.29/13.44	unsat
