12.38/13.31	unsat
